Towards Demystifying Dimensions of Source Code Embeddings

Source code representations are key in applying machine learning techniques for processing and analyzing programs. A popular approach in representing source code is neural source code embeddings that represents programs with high-dimensional vectors computed by training deep neural networks on a large volume of programs. Although successful, there is little known about the contents of these vectors and their characteristics. In this paper, we present our preliminary results towards better understanding the contents of code2vec neural source code embeddings. In particular, in a small case study, we use the code2vec embeddings to create binary SVM classifiers and compare their performance with the handcrafted features. Our results suggest that the handcrafted features can perform very close to the highly-dimensional code2vec embeddings, and the information gains are more evenly distributed in the code2vec embeddings compared to the handcrafted features. We also find that the code2vec embeddings are more resilient to the removal of dimensions with low information gains than the handcrafted features. We hope our results serve a stepping stone toward principled analysis and evaluation of these code representations.Comment: 1st ACM SIGSOFT International Workshop on Representation Learning for Software Engineering and Program Languages, Co-located with ESEC/FSE (RL+SE&PL'20

Negative Attitudes of Law Students: A Replication of the Alienation and Dissatisfaction Factors

This book presents some recent systems engineering and mathematical tools for health care along with their real-world applications by health care practitioners and engineers. Advanced approaches, tools, and algorithms used in operating room scheduling and patient flow are covered. State-of-the-art results from applications of data mining, business process modeling, and simulation in healthcare, together with optimization methods, form the core of the volume. Systems Analysis Tools for Better Health Care Delivery illustrates the increased need of partnership between engineers and health care professionals. This book will benefit researchers and practitioners in health care delivery institutions, staff members and professionals of specialized hospital units, and lecturers and graduate students in engineering, applied mathematics, business administration and health care.

Solving ill-posed bilevel programs

This paper deals with ill-posed bilevel programs, i.e., problems admitting multiple lower-level solutions for some upper-level parameters. Many publications have been devoted to the standard optimistic case of this problem, where the difficulty is essentially moved from the objective function to the feasible set. This new problem is simpler but there is no guaranty to obtain local optimal solutions for the original optimistic problem by this process. Considering the intrinsic non-convexity of bilevel programs, computing local optimal solutions is the best one can hope to get in most cases. To achieve this goal, we start by establishing an equivalence between the original optimistic problem an a certain set-valued optimization problem. Next, we develop optimality conditions for the latter problem and show that they generalize all the results currently known in the literature on optimistic bilevel optimization. Our approach is then extended to multiobjective bilevel optimization, and completely new results are derived for problems with vector-valued upper- and lower-level objective functions. Numerical implementations of the results of this paper are provided on some examples, in order to demonstrate how the original optimistic problem can be solved in practice, by means of a special set-valued optimization problem

Characterization of Shewanella oneidensis MtrC: a cell-surface decaheme cytochrome involved in respiratory electron transport to extracellular electron acceptors

MtrC is a decaheme c-type cytochrome associated with the outer cell membrane of Fe(III)-respiring species of the Shewanella genus. It is proposed to play a role in anaerobic respiration by mediating electron transfer to extracellular mineral oxides that can serve as terminal electron acceptors. The present work presents the first spectropotentiometric and voltammetric characterization of MtrC, using protein purified from Shewanella oneidensis MR-1. Potentiometric titrations, monitored by UV–vis absorption and electron paramagnetic resonance (EPR) spectroscopy, reveal that the hemes within MtrC titrate over a broad potential range spanning between approximately +100 and approximately -500 mV (vs. the standard hydrogen electrode). Across this potential window the UV–vis absorption spectra are characteristic of low-spin c-type hemes and the EPR spectra reveal broad, complex features that suggest the presence of magnetically spin-coupled low-spin c-hemes. Non-catalytic protein film voltammetry of MtrC demonstrates reversible electrochemistry over a potential window similar to that disclosed spectroscopically. The voltammetry also allows definition of kinetic properties of MtrC in direct electron exchange with a solid electrode surface and during reduction of a model Fe(III) substrate. Taken together, the data provide quantitative information on the potential domain in which MtrC can operate

Ice-sheet collapse and sea-level rise at the Bølling warming 14,600 years ago

Past sea-level records provide invaluable information about the response of ice sheets to climate forcing. Some such records suggest that the last deglaciation was punctuated by a dramatic period of sea-level rise, of about 20 metres, in less than 500 years. Controversy about the amplitude and timing of this meltwater pulse (MWP-1A) has, however, led to uncertainty about the source of the melt water and its temporal and causal relationships with the abrupt climate changes of the deglaciation. Here we show that MWP-1A started no earlier than 14,650 years ago and ended before 14,310 years ago, making it coeval with the Bolling warming. Our results, based on corals drilled offshore from Tahiti during Integrated Ocean Drilling Project Expedition 310, reveal that the increase in sea level at Tahiti was between 12 and 22 metres, with a most probable value between 14 and 18 metres, establishing a significant meltwater contribution from the Southern Hemisphere. This implies that the rate of eustatic sea-level rise exceeded 40 millimetres per year during MWP-1A

A New Method for Manufacturing Process Autonomous Planning in Intelligent Manufacturing System

This paper presents a new method for autonomous computer-aided process planning (A-CAPP) in an intelligent manufacturing system, in which the related input and output of the system are discussed on the basis of comparative analysis of traditional CAPP. The crucial functional components of the A-CAPP system, such as event scheduling management, manufacturing process planning, operation process/step planning, numerical control machining program planning, process simulation and evaluation, are introduced; and the methods of process knowledge management, including process feature knowledge, manufacturing resource knowledge and process method knowledge, are discussed as well. A-CAPP applied for intelligent manufacturing system can effectively support the production line reconstruction dynamically; shorten the time of production line configuration modification in accordance with customers’ requirement change or market requirement fluctuation, and furthermore to balance the production lines load

Fast and fine-tuned corrections when the target of a hand movement is displaced

To study the strategy in responding to target displacements during fast goal-directed arm movements, we examined how quickly corrections are initiated and how vigorously they are executed. We perturbed the target position at various moments before and after movement initiation. Corrections to perturbations before the movement started were initiated with the same latency as corrections to perturbations during the movement. Subjects also responded as quickly to a second perturbation during the same reach, even if the perturbations were only separated by 60 ms. The magnitude of the correction was minimized with respect to the time remaining until the end of the movement. We conclude that despite being executed after a fixed latency, these fast corrections are not stereotyped responses but are suited to the circumstances

Top-Level Categories of Constitutively Organized Material Entities - Suggestions for a Formal Top-Level Ontology

Application oriented ontologies are important for reliably communicating and managing data in databases. Unfortunately, they often differ in the definitions they use and thus do not live up to their potential. This problem can be reduced when using a standardized and ontologically consistent template for the top-level categories from a top-level formal foundational ontology. This would support ontological consistency within application oriented ontologies and compatibility between them. The Basic Formal Ontology (BFO) is such a foundational ontology for the biomedical domain that has been developed following the single inheritance policy. It provides the top-level template within the Open Biological and Biomedical Ontologies Foundry. If it wants to live up to its expected role, its three top-level categories of material entity (i.e., 'object', 'fiat object part', 'object aggregate') must be exhaustive, i.e. every concrete material entity must instantiate exactly one of them.By systematically evaluating all possible basic configurations of material building blocks we show that BFO's top-level categories of material entity are not exhaustive. We provide examples from biology and everyday life that demonstrate the necessity for two additional categories: 'fiat object part aggregate' and 'object with fiat object part aggregate'. By distinguishing topological coherence, topological adherence, and metric proximity we furthermore provide a differentiation of clusters and groups as two distinct subcategories for each of the three categories of material entity aggregates, resulting in six additional subcategories of material entity.We suggest extending BFO to incorporate two additional categories of material entity as well as two subcategories for each of the three categories of material entity aggregates. With these additions, BFO would exhaustively cover all top-level types of material entity that application oriented ontologies may use as templates. Our result, however, depends on the premise that all material entities are organized according to a constitutive granularity

Accommodating Ontologies to Biological Reality—Top-Level Categories of Cumulative-Constitutively Organized Material Entities

BACKGROUND: The Basic Formal Ontology (BFO) is a top-level formal foundational ontology for the biomedical domain. It has been developed with the purpose to serve as an ontologically consistent template for top-level categories of application oriented and domain reference ontologies within the Open Biological and Biomedical Ontologies Foundry (OBO). BFO is important for enabling OBO ontologies to facilitate in reliably communicating and managing data and metadata within and across biomedical databases. Following its intended single inheritance policy, BFO's three top-level categories of material entity (i.e. ‘object’, ‘fiat object part’, ‘object aggregate’) must be exhaustive and mutually disjoint. We have shown elsewhere that for accommodating all types of constitutively organized material entities, BFO must be extended by additional categories of material entity. METHODOLOGY/PRINCIPAL FINDINGS: Unfortunately, most biomedical material entities are cumulative-constitutively organized. We show that even the extended BFO does not exhaustively cover cumulative-constitutively organized material entities. We provide examples from biology and everyday life that demonstrate the necessity for ‘portion of matter’ as another material building block. This implies the necessity for further extending BFO by ‘portion of matter’ as well as three additional categories that possess portions of matter as aggregate components. These extensions are necessary if the basic assumption that all parts that share the same granularity level exhaustively sum to the whole should also apply to cumulative-constitutively organized material entities. By suggesting a notion of granular representation we provide a way to maintain the single inheritance principle when dealing with cumulative-constitutively organized material entities. CONCLUSIONS/SIGNIFICANCE: We suggest to extend BFO to incorporate additional categories of material entity and to rearrange its top-level material entity taxonomy. With these additions and the notion of granular representation, BFO would exhaustively cover all top-level types of material entities that application oriented ontologies may use as templates, while still maintaining the single inheritance principle